From 18c4bdad6fbe6c2b17e971f4be0f76482bc7af74 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Timm=20B=C3=A4der?= Date: Sun, 11 Oct 2020 10:26:25 +0200 Subject: [PATCH] widget: Remove gtk_widget_list_devices() from private header --- gtk/gtkwidget.c | 2 +- gtk/gtkwidgetprivate.h | 3 --- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index 37ec32857a..b12aeaedf4 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -7450,7 +7450,7 @@ gtk_widget_adjust_baseline_request (GtkWidget *widget, * with g_free(), the elements are owned by GTK and must * not be freed. */ -GdkDevice ** +static GdkDevice ** _gtk_widget_list_devices (GtkWidget *widget, guint *out_n_devices) { diff --git a/gtk/gtkwidgetprivate.h b/gtk/gtkwidgetprivate.h index 9ab7f37f3c..761a190e1d 100644 --- a/gtk/gtkwidgetprivate.h +++ b/gtk/gtkwidgetprivate.h @@ -251,9 +251,6 @@ void _gtk_widget_propagate_display_changed (GtkWidget *widget, void _gtk_widget_set_device_surface (GtkWidget *widget, GdkDevice *device, GdkSurface *pointer_window); -GdkDevice ** _gtk_widget_list_devices (GtkWidget *widget, - guint *out_n_devices); - void _gtk_widget_synthesize_crossing (GtkWidget *from, GtkWidget *to, GdkDevice *device, -- 2.30.2